Fibrations and Recursivity

— We present hère some facts about recursive function theory that we describe in an abstract jorm; for this we use hère fibered catégories. A first approach ofthis was made by P. Mulry by using of topos theory. Out of the results find hère, we give the first steps towards the treatment of partiality in an abstract form. Résumé. — Nous donnons ici quelques résultats sur les fonctions récursives au moyen des fibrations. Une première approche de cette formalisation avait été faite par P. Mulry en utilisant la théorie des topos. En utilisant les résultats trouvés ici, nous donnons les premières définitions pour une formalisation abstraite des fonctions partielles.